Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
511	Universal Learning Neurocomputers Victor Eliashberg Abstract ∗ Add to Reading List Source URL: brain0.com Language: English - Date: 2005-05-24 16:51:07 Science Applied mathematics Models of computation Turing machine Theoretical computer science Finite-state machine Perceptron Algorithm Connectionism Neural networks Computational neuroscience Mathematics
512	StateWORKS: The Silver Bullet at last ? “Not only are there no silver bullets now in view, the very nature of software makes it unlikely that there will be any — no inventions that will do for software productivity, Add to Reading List Source URL: www.stateworks.com Language: English - Date: 2009-04-02 14:04:45 Automata theory Finite-state machine Software development process Complexity Software Application software Unified Modeling Language Shlaer–Mellor method Science Software engineering Ethology
513	libalf: the Automata Learning Framework⋆ (Extended Abstract) Benedikt Bollig1 , Joost-Pieter Katoen2 , Carsten Kern2 , Martin Leucker3, Daniel Neider2 , and David R. Piegdon2 1 Add to Reading List Source URL: libalf.informatik.rwth-aachen.de Language: English - Date: 2009-10-20 05:06:15 Theoretical computer science Models of computation Computer science Cybernetics Finite-state machine Learning automata Algorithm Computational learning theory Deterministic finite automaton Machine learning Automata theory Applied mathematics
514	regex2dot A regex to automaton compiler Diogo Sousa Universiteit Utrecht Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-24 13:16:41 Models of computation Computer science Applied mathematics Deterministic finite automaton Regular language Regular expression Finite-state machine String operations Automata theory Formal languages Theoretical computer science
515	Automatic Derivation of Memoryless Policies and Finite-State Controllers Using Classical Planners Blai Bonet H´ector Palacios Add to Reading List Source URL: www.dtic.upf.edu Language: English - Date: 2009-07-01 11:55:19 Control theory Stochastic control Automated planning and scheduling Markov processes Planning Domain Definition Language Finite-state machine Partially observable Markov decision process Fluent XTR Cybernetics Applied mathematics Systems theory
516	An XML-based Scripting Language for Chain-type Modular Robotic Systems Ying Zhang Alex Golovinsky Mark Yim Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2007-05-25 16:20:50 Robot Robotics Finite-state machine Automaton Automata theory Self-reconfiguring modular robot Technology Automation
517	Automata and Complexity in Multiple-Quantifier Sentence Verification Jakub Szymanik ([removed]) Institute for Logic, Language and Computation, University of Amsterdam Shane Steinert-Threlkeld (Shanest@stanford. Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2013-05-20 06:27:06 Science Automata theory Quantification Models of computation Formal languages Generalized quantifier Pushdown automaton Cognitive science Finite-state machine Logic Mathematical logic Semantics
518	Probabilistic semantic automata in the verification of quantified statements Jakub Dotlaˇcil ([removed]) Center for Language and Cognition, University of Groningen Jakub Szymanik ([removed]) In Add to Reading List Source URL: jakubszymanik.com Language: English - Date: 2014-04-30 09:18:26 Quantification Predicate logic Semantics Model theory Nondeterministic finite automaton S0 Finite-state machine Pushdown automaton Automata theory Models of computation Logic
519	Introspective Pushdown Analysis of Higher-Order Programs Christopher Earl Ilya Sergey Matthew Might Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:03 Finite-state machine Context-free language Automata theory Models of computation Formal languages
520	Abstracting Abstract Machines: A Systematic Approach to Higher-Order Program Analysis Add to Reading List Source URL: matt.might.net Language: English - Date: 2014-01-06 09:40:27 Mathematics Logic in computer science Operational semantics Finite-state machine Model theory Algorithm Theoretical computer science Applied mathematics Automata theory

UPDATE